bisymmetric linearly ordered groupoid

бисимметричный линейно упорядоченный группоид